منابع مشابه
Polynomial Interpretations with Negative Coefficients
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x− 1 for a unary function symbol or x− y for a binary function symbol, can be used to extend the class of rewrite systems that can be automatically proved terminating.
متن کاملNegative Friction of Darboux Cosmological Fluids
Atmospheric free fall with quadratic resistance when considered from the point of view of the strictly isospectral construction of supersymmetric quantum mechanics is a powerful analogy for the class of Darboux cosmological fluids that I introduced in a previous work. Here, using this analogy, it is shown that the possible accelerating cosmological effects are due to the quadratic negative fric...
متن کاملDense Avalanche Friction Coefficients Influence of Nivological Parameters
High altitudes, heavy snow, and sharp mountainous relief of Mont Blanc massif make the upper part of the Arve valley (Chamonix, France) one of the most threatened areas by snow avalanches. 115 paths from this area were included in the avalanches national observatory, 26 of them have experienced between 20 and 100 events over a period of almost 100 years, among these avalanches 729 are posterior...
متن کاملSpatial geometric effects on the friction coefficients of UHMWPe
Spatial geometric effects on the friction coefficients of UHMWPe Alison C. Dunn a, Jason G. Steffens a, David L. Burris a, Scott A. Banks b, W. Gregory Sawyer a,∗ a Department of Mechanical and Aerospace Engineering, P.O. Box 116300 University of Florida, Gainesville, FL 32611, USA b Department of Mechanical and Aerospace Engineering, J. Crayton Pruitt Department of Biomedical Engineering, P.O....
متن کاملMeasurement of friction coefficients with the atomic force microscope
A new axial method for measuring the friction coefficient with the atomic force microscope is given. This axial method requires no calibration steps and is performed simultaneously with a normal force measurement by measuring the difference between the constant compliance slopes of the extend and retract force curves. The algorithm can be applied retrospectively to extract the friction coeffici...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Materials
سال: 2013
ISSN: 1476-1122,1476-4660
DOI: 10.1038/nmat3656